#include <asm.h>
#include <regdef.h>
#include <inst_test.h>

LEAF(n34_srlv_test)
    .set noreorder
    addiu s0, s0 ,1
    li  s2, 0x00
###test inst
    TEST_SRLV(0x1f8f6000, 0x0000001c, 0x00000001)
    TEST_SRLV(0xe51f6e9c, 0x00000002, 0x3947dba7)
    TEST_SRLV(0x055df7e0, 0x00000008, 0x00055df7)
    TEST_SRLV(0xa821b3e6, 0x00000019, 0x00000054)
    TEST_SRLV(0xf3330c74, 0x0000000a, 0x003cccc3)
    TEST_SRLV(0x096b5f00, 0x0000001f, 0x00000000)
    TEST_SRLV(0x16f2bd5e, 0x0000001b, 0x00000002)
    TEST_SRLV(0x938a4c80, 0x0000001f, 0x00000001)
    TEST_SRLV(0x499578b8, 0x0000001c, 0x00000004)
    TEST_SRLV(0xe9174919, 0x00000019, 0x00000074)
    TEST_SRLV(0x71501460, 0x00000013, 0x00000e2a)
    TEST_SRLV(0x66c79be0, 0x00000014, 0x0000066c)
    TEST_SRLV(0x6e7e0c6c, 0x00000014, 0x000006e7)
    TEST_SRLV(0x5ce263d8, 0x0000000c, 0x0005ce26)
    TEST_SRLV(0x6bfa2f04, 0x0000000f, 0x0000d7f4)
    TEST_SRLV(0x2db67010, 0x00000004, 0x02db6701)
    TEST_SRLV(0xb54e3520, 0x00000003, 0x16a9c6a4)
    TEST_SRLV(0x07a20228, 0x0000000b, 0x0000f440)
    TEST_SRLV(0x25a6cca8, 0x0000000a, 0x000969b3)
    TEST_SRLV(0x67ed7379, 0x0000001e, 0x00000001)
    TEST_SRLV(0xdf654d10, 0x0000001a, 0x00000037)
    TEST_SRLV(0x424641f0, 0x00000017, 0x00000084)
    TEST_SRLV(0x55fd7a24, 0x0000001e, 0x00000001)
    TEST_SRLV(0x5f2a28a0, 0x00000000, 0x5f2a28a0)
    TEST_SRLV(0x79412088, 0x00000012, 0x00001e50)
    TEST_SRLV(0x887ab014, 0x00000009, 0x00443d58)
    TEST_SRLV(0x47515b10, 0x00000002, 0x11d456c4)
    TEST_SRLV(0xe2f3d9e0, 0x0000001e, 0x00000003)
    TEST_SRLV(0x4a5e2b80, 0x0000000c, 0x0004a5e2)
    TEST_SRLV(0xd1440a30, 0x0000001f, 0x00000001)
    TEST_SRLV(0x64f69af4, 0x00000001, 0x327b4d7a)
    TEST_SRLV(0x24c118a4, 0x0000000e, 0x00009304)
    TEST_SRLV(0xb01b25a0, 0x00000006, 0x02c06c96)
    TEST_SRLV(0x7693cb08, 0x00000009, 0x003b49e5)
    TEST_SRLV(0xc6a5b020, 0x00000011, 0x00006352)
    TEST_SRLV(0x7b9a7cdc, 0x0000000e, 0x0001ee69)
    TEST_SRLV(0x83196db0, 0x00000018, 0x00000083)
    TEST_SRLV(0xe3341f60, 0x00000009, 0x00719a0f)
    TEST_SRLV(0x35a4a0c0, 0x00000012, 0x00000d69)
    TEST_SRLV(0x84baafc0, 0x00000004, 0x084baafc)
    TEST_SRLV(0xf1530f7a, 0x00000002, 0x3c54c3de)
    TEST_SRLV(0x522a9acd, 0x00000012, 0x0000148a)
    TEST_SRLV(0xa89ec680, 0x00000010, 0x0000a89e)
    TEST_SRLV(0x919044bc, 0x0000000d, 0x00048c82)
    TEST_SRLV(0xbaaed4e0, 0x00000010, 0x0000baae)
    TEST_SRLV(0x38423890, 0x0000000d, 0x0001c211)
    TEST_SRLV(0x263298cc, 0x00000007, 0x004c6531)
    TEST_SRLV(0xd3126c36, 0x0000001a, 0x00000034)
    TEST_SRLV(0xc2a7f09f, 0x00000012, 0x000030a9)
    TEST_SRLV(0xc33987ee, 0x00000009, 0x00619cc3)
    TEST_SRLV(0x85fcfad8, 0x0000000a, 0x00217f3e)
    TEST_SRLV(0xa57b8d38, 0x00000004, 0x0a57b8d3)
    TEST_SRLV(0x9f19c898, 0x0000001e, 0x00000002)
    TEST_SRLV(0x0cf6bc10, 0x0000000a, 0x00033daf)
    TEST_SRLV(0x2be7fe80, 0x00000019, 0x00000015)
    TEST_SRLV(0xb4a4fb88, 0x00000011, 0x00005a52)
    TEST_SRLV(0x30aa6216, 0x0000000c, 0x00030aa6)
    TEST_SRLV(0x60489db0, 0x0000000b, 0x000c0913)
    TEST_SRLV(0xc0b15ac0, 0x00000003, 0x18162b58)
    TEST_SRLV(0x016d9715, 0x00000002, 0x005b65c5)
    TEST_SRLV(0x87c7157f, 0x0000001e, 0x00000002)
    TEST_SRLV(0x0ff3aac0, 0x00000012, 0x000003fc)
    TEST_SRLV(0x06c15102, 0x0000000d, 0x0000360a)
    TEST_SRLV(0xa2f48fe0, 0x00000002, 0x28bd23f8)
    TEST_SRLV(0xf2dd4f47, 0x00000004, 0x0f2dd4f4)
    TEST_SRLV(0x8fee2638, 0x0000001f, 0x00000001)
    TEST_SRLV(0x541014ea, 0x00000014, 0x00000541)
    TEST_SRLV(0xae854050, 0x0000000f, 0x00015d0a)
    TEST_SRLV(0x7c292be8, 0x00000015, 0x000003e1)
    TEST_SRLV(0xa0325283, 0x00000003, 0x14064a50)
    TEST_SRLV(0xf6c49bde, 0x00000003, 0x1ed8937b)
    TEST_SRLV(0xc9062ff0, 0x00000002, 0x32418bfc)
    TEST_SRLV(0xe04ced40, 0x00000008, 0x00e04ced)
    TEST_SRLV(0xbb525a80, 0x0000000f, 0x000176a4)
    TEST_SRLV(0x0e70556c, 0x0000000d, 0x00007382)
    TEST_SRLV(0x09bf5078, 0x00000002, 0x026fd41e)
    TEST_SRLV(0x92365f82, 0x0000000c, 0x00092365)
    TEST_SRLV(0x12863378, 0x00000017, 0x00000025)
    TEST_SRLV(0x746a3080, 0x00000013, 0x00000e8d)
    TEST_SRLV(0x634867c7, 0x00000011, 0x000031a4)
    TEST_SRLV(0xabfd1800, 0x00000008, 0x00abfd18)
    TEST_SRLV(0xe06be5a4, 0x00000016, 0x00000381)
    TEST_SRLV(0xc237bfc1, 0x0000000b, 0x001846f7)
    TEST_SRLV(0xa0030450, 0x00000014, 0x00000a00)
    TEST_SRLV(0x409811b8, 0x00000004, 0x0409811b)
    TEST_SRLV(0x9805da2c, 0x00000002, 0x2601768b)
    TEST_SRLV(0x2af72a3a, 0x00000016, 0x000000ab)
    TEST_SRLV(0xb94e6930, 0x00000003, 0x1729cd26)
    TEST_SRLV(0xfd25cf55, 0x0000000e, 0x0003f497)
    TEST_SRLV(0xf455b93e, 0x0000001e, 0x00000003)
    TEST_SRLV(0xdba4a0c8, 0x00000011, 0x00006dd2)
    TEST_SRLV(0x2ad003d0, 0x0000000c, 0x0002ad00)
    TEST_SRLV(0x5db25ec6, 0x00000004, 0x05db25ec)
    TEST_SRLV(0x4572e7b6, 0x00000014, 0x00000457)
    TEST_SRLV(0x96c65acc, 0x00000005, 0x04b632d6)
    TEST_SRLV(0xcfc34b9e, 0x00000011, 0x000067e1)
    TEST_SRLV(0xf1ab5334, 0x0000001b, 0x0000001e)
    TEST_SRLV(0x8a125f54, 0x00000018, 0x0000008a)
    TEST_SRLV(0x615284b0, 0x00000012, 0x00001854)
    TEST_SRLV(0x55ab7c98, 0x00000003, 0x0ab56f93)
    TEST_SRLV(0xfe71e5f3, 0x0000001f, 0x00000001)
    TEST_SRLV(0x748cedd0, 0x00000003, 0x0e919dba)
    TEST_SRLV(0x600c97bc, 0x00000011, 0x00003006)
    TEST_SRLV(0xbab62778, 0x0000001f, 0x00000001)
    TEST_SRLV(0x5dcb7600, 0x00000006, 0x01772dd8)
    TEST_SRLV(0x8aa1b8c8, 0x0000001d, 0x00000004)
    TEST_SRLV(0xa6280968, 0x00000001, 0x531404b4)
    TEST_SRLV(0xe8eda6f4, 0x0000001f, 0x00000001)
    TEST_SRLV(0xd3869a00, 0x00000000, 0xd3869a00)
    TEST_SRLV(0xe44e34d3, 0x0000000a, 0x0039138d)
    TEST_SRLV(0x55b5f76c, 0x00000009, 0x002adafb)
    TEST_SRLV(0xb359c3f0, 0x00000015, 0x0000059a)
    TEST_SRLV(0x85ddb640, 0x0000001b, 0x00000010)
    TEST_SRLV(0x3c3d1cc0, 0x00000014, 0x000003c3)
    TEST_SRLV(0xbea3711f, 0x00000008, 0x00bea371)
    TEST_SRLV(0x3f98ee78, 0x00000018, 0x0000003f)
    TEST_SRLV(0x61f701f0, 0x0000000b, 0x000c3ee0)
    TEST_SRLV(0xa440f500, 0x00000007, 0x014881ea)
    TEST_SRLV(0xea38ab40, 0x00000012, 0x00003a8e)
    TEST_SRLV(0x698a156c, 0x0000000f, 0x0000d314)
    TEST_SRLV(0xc435e2b8, 0x00000019, 0x00000062)
    TEST_SRLV(0xbaa8fdc0, 0x00000011, 0x00005d54)
    TEST_SRLV(0xaf38bc06, 0x00000003, 0x15e71780)
    TEST_SRLV(0x4f0705e0, 0x0000001d, 0x00000002)
    TEST_SRLV(0x51990430, 0x00000005, 0x028cc821)
    TEST_SRLV(0xb6d230b8, 0x00000013, 0x000016da)
    TEST_SRLV(0xc32b1338, 0x00000014, 0x00000c32)
    TEST_SRLV(0x56f09ca0, 0x00000009, 0x002b784e)
    TEST_SRLV(0x20d55384, 0x0000000e, 0x00008355)
    TEST_SRLV(0xee441e24, 0x0000000d, 0x00077220)
    TEST_SRLV(0x93917f27, 0x00000000, 0x93917f27)
    TEST_SRLV(0xd392f564, 0x00000002, 0x34e4bd59)
    TEST_SRLV(0x61fd23fc, 0x00000019, 0x00000030)
    TEST_SRLV(0x3810ee98, 0x00000018, 0x00000038)
    TEST_SRLV(0x450fc4d0, 0x0000000f, 0x00008a1f)
    TEST_SRLV(0x6c59a85e, 0x0000001b, 0x0000000d)
    TEST_SRLV(0x98c96979, 0x00000007, 0x013192d2)
    TEST_SRLV(0x9289a95e, 0x0000000f, 0x00012513)
    TEST_SRLV(0x7d271631, 0x00000010, 0x00007d27)
    TEST_SRLV(0xa7dcf7a0, 0x0000000d, 0x00053ee7)
    TEST_SRLV(0xeb764460, 0x00000000, 0xeb764460)
    TEST_SRLV(0x1ee8e1f0, 0x00000017, 0x0000003d)
    TEST_SRLV(0x02fc437c, 0x0000001a, 0x00000000)
    TEST_SRLV(0xd38b24a0, 0x00000013, 0x00001a71)
    TEST_SRLV(0x36fb4114, 0x00000013, 0x000006df)
    TEST_SRLV(0xd4683c56, 0x00000005, 0x06a341e2)
    TEST_SRLV(0xbefb03e3, 0x00000000, 0xbefb03e3)
    TEST_SRLV(0x69c5aef0, 0x00000009, 0x0034e2d7)
    TEST_SRLV(0xe2c29658, 0x0000001a, 0x00000038)
    TEST_SRLV(0xeb303400, 0x00000015, 0x00000759)
    TEST_SRLV(0x72cb1bf0, 0x00000015, 0x00000396)
    TEST_SRLV(0xbdff1488, 0x00000016, 0x000002f7)
    TEST_SRLV(0xd1e8c6d0, 0x0000000f, 0x0001a3d1)
    TEST_SRLV(0x164909a0, 0x00000003, 0x02c92134)
    TEST_SRLV(0xd735d3e8, 0x00000012, 0x000035cd)
    TEST_SRLV(0x05095050, 0x00000005, 0x00284a82)
    TEST_SRLV(0xd08f1360, 0x00000000, 0xd08f1360)
    TEST_SRLV(0xd1239010, 0x00000012, 0x00003448)
    TEST_SRLV(0x0a6029d0, 0x00000012, 0x00000298)
    TEST_SRLV(0xea3367e0, 0x0000001a, 0x0000003a)
    TEST_SRLV(0x3d0fbdf8, 0x0000001a, 0x0000000f)
    TEST_SRLV(0xd4f03338, 0x00000011, 0x00006a78)
    TEST_SRLV(0xaf91e4e2, 0x00000010, 0x0000af91)
    TEST_SRLV(0x31db2480, 0x00000014, 0x0000031d)
    TEST_SRLV(0x60d8d970, 0x0000000f, 0x0000c1b1)
    TEST_SRLV(0x29c71a40, 0x0000000c, 0x00029c71)
    TEST_SRLV(0x2a3a9780, 0x00000001, 0x151d4bc0)
    TEST_SRLV(0x4aadca7a, 0x00000008, 0x004aadca)
    TEST_SRLV(0x7a222e4c, 0x0000000d, 0x0003d111)
    TEST_SRLV(0x6a911ac0, 0x0000000c, 0x0006a911)
    TEST_SRLV(0x8dd4eccc, 0x0000000e, 0x00023753)
    TEST_SRLV(0x67a31abb, 0x00000019, 0x00000033)
    TEST_SRLV(0xd96675fa, 0x00000014, 0x00000d96)
    TEST_SRLV(0x51114399, 0x00000011, 0x00002888)
    TEST_SRLV(0xb22ba180, 0x0000001f, 0x00000001)
    TEST_SRLV(0x041e4880, 0x00000008, 0x00041e48)
    TEST_SRLV(0xe51045f5, 0x00000003, 0x1ca208be)
    TEST_SRLV(0x69e0a190, 0x0000000e, 0x0001a782)
    TEST_SRLV(0x2f793408, 0x00000015, 0x0000017b)
    TEST_SRLV(0x03964170, 0x0000000f, 0x0000072c)
    TEST_SRLV(0x59f7beb0, 0x00000009, 0x002cfbdf)
    TEST_SRLV(0xd2853e50, 0x0000000a, 0x0034a14f)
    TEST_SRLV(0x2d74a370, 0x0000000a, 0x000b5d28)
    TEST_SRLV(0x4c47414d, 0x00000006, 0x01311d05)
    TEST_SRLV(0xb9257506, 0x00000007, 0x01724aea)
    TEST_SRLV(0x103a26d0, 0x00000008, 0x00103a26)
    TEST_SRLV(0x3f7de000, 0x00000018, 0x0000003f)
    TEST_SRLV(0x7daa001c, 0x0000000c, 0x0007daa0)
    TEST_SRLV(0x0a9c7fe0, 0x0000000b, 0x0001538f)
    TEST_SRLV(0x58b4dba8, 0x00000013, 0x00000b16)
    TEST_SRLV(0x046ada2c, 0x00000019, 0x00000002)
    TEST_SRLV(0x8545d310, 0x0000000f, 0x00010a8b)
    TEST_SRLV(0x32975a30, 0x00000011, 0x0000194b)
    TEST_SRLV(0x0b73e91c, 0x0000000b, 0x00016e7d)
    TEST_SRLV(0x2e908d07, 0x00000011, 0x00001748)
    TEST_SRLV(0xbc6dec64, 0x0000001d, 0x00000005)
    TEST_SRLV(0x7fb03886, 0x00000009, 0x003fd81c)
    TEST_SRLV(0xb0e5f6e4, 0x00000006, 0x02c397db)
    TEST_SRLV(0x4c15f2d5, 0x0000001d, 0x00000002)
    TEST_SRLV(0xcfe54c57, 0x00000006, 0x033f9531)
    TEST_SRLV(0x16f9a9d8, 0x00000000, 0x16f9a9d8)
    TEST_SRLV(0x338fa5cc, 0x00000000, 0x338fa5cc)
    TEST_SRLV(0x22eaec90, 0x00000000, 0x22eaec90)
    TEST_SRLV(0x6dfb8ed4, 0x00000000, 0x6dfb8ed4)
    TEST_SRLV(0xd6b40e56, 0x00000000, 0xd6b40e56)
    TEST_SRLV(0x14b51bf3, 0x00000000, 0x14b51bf3)
    TEST_SRLV(0x17684810, 0x00000000, 0x17684810)
    TEST_SRLV(0x0a955d3f, 0x00000000, 0x0a955d3f)
    TEST_SRLV(0x54b62ea0, 0x00000000, 0x54b62ea0)
    TEST_SRLV(0xe0f7e1a0, 0x00000000, 0xe0f7e1a0)
    TEST_SRLV(0x82b21d00, 0x00000000, 0x82b21d00)
    TEST_SRLV(0x07a40684, 0x00000000, 0x07a40684)
    TEST_SRLV(0x8c5ace60, 0x00000000, 0x8c5ace60)
    TEST_SRLV(0xecdb3fa0, 0x00000000, 0xecdb3fa0)
    TEST_SRLV(0xa23bf234, 0x00000000, 0xa23bf234)
    TEST_SRLV(0x8e3cf02c, 0x00000000, 0x8e3cf02c)
    TEST_SRLV(0xb891211c, 0x00000000, 0xb891211c)
    TEST_SRLV(0xb82b61ae, 0x00000000, 0xb82b61ae)
    TEST_SRLV(0xeedac8b0, 0x00000000, 0xeedac8b0)
    TEST_SRLV(0x6e0a332c, 0x00000000, 0x6e0a332c)
    TEST_SRLV(0x6835b8a6, 0x00000000, 0x6835b8a6)
    TEST_SRLV(0xf2590aee, 0x00000000, 0xf2590aee)
    TEST_SRLV(0x6efbf7c4, 0x00000000, 0x6efbf7c4)
    TEST_SRLV(0x7beb2ec8, 0x00000000, 0x7beb2ec8)
    TEST_SRLV(0x0556beb4, 0x00000000, 0x0556beb4)
    TEST_SRLV(0x2c01992b, 0x00000000, 0x2c01992b)
    TEST_SRLV(0xd4572cb0, 0x00000000, 0xd4572cb0)
    TEST_SRLV(0x856805f3, 0x00000000, 0x856805f3)
    TEST_SRLV(0x6d738598, 0x00000000, 0x6d738598)
    TEST_SRLV(0x11bd4e60, 0x00000000, 0x11bd4e60)
    TEST_SRLV(0x9fa6c1f1, 0x00000000, 0x9fa6c1f1)
    TEST_SRLV(0xbe3e84c0, 0x00000000, 0xbe3e84c0)
    TEST_SRLV(0xc3d9dee8, 0x00000000, 0xc3d9dee8)
    TEST_SRLV(0xbb1865e0, 0x00000000, 0xbb1865e0)
    TEST_SRLV(0xc9b28d24, 0x00000000, 0xc9b28d24)
    TEST_SRLV(0x9bc8699e, 0x00000000, 0x9bc8699e)
    TEST_SRLV(0x3612ad00, 0x00000000, 0x3612ad00)
    TEST_SRLV(0x03ae7cd4, 0x00000000, 0x03ae7cd4)
    TEST_SRLV(0x34494370, 0x00000000, 0x34494370)
    TEST_SRLV(0xb3310868, 0x00000000, 0xb3310868)
    TEST_SRLV(0x68bb3ae8, 0x00000000, 0x68bb3ae8)
    TEST_SRLV(0x65990e38, 0x00000000, 0x65990e38)
    TEST_SRLV(0xa2e36ffb, 0x00000000, 0xa2e36ffb)
    TEST_SRLV(0x19c5302d, 0x00000000, 0x19c5302d)
    TEST_SRLV(0x36581a4d, 0x00000000, 0x36581a4d)
    TEST_SRLV(0xa2d183b0, 0x00000000, 0xa2d183b0)
    TEST_SRLV(0x2bcfe02c, 0x00000000, 0x2bcfe02c)
    TEST_SRLV(0x18d4683c, 0x00000000, 0x18d4683c)
    TEST_SRLV(0x66198182, 0x00000000, 0x66198182)
    TEST_SRLV(0x4adff964, 0x00000000, 0x4adff964)
    TEST_SRLV(0x00000000, 0x0000000a, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000001d, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000d, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000c, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000003, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000001d, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000006, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000014, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000001d, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000019, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000018, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000006, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000a, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000001, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000e, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000001f, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000010, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000018, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000005, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000003, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000013, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000015, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000b, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000002, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000016, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000000, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000008, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000a, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000019, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000007, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000015, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000006, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000008, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000001d, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000a, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000003, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000004, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000018, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000017, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000f, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000001e, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000a, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000a, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000f, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000001c, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000001d, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000016, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000018, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000017, 0x00000000)
    TEST_SRLV(0x00000000, 0x0000000c, 0x00000000)
    TEST_SRLV(0x00000000, 0x00000000, 0x00000000)
###detect exception
    bne s2, zero, inst_error
    nop
###score ++
    addiu s3, s3, 1
###output (s0<<24)|s3
inst_error:  
    sll t1, s0, 24
    or t0, t1, s3 
    sw t0, 0(s1)
    jr ra
    nop
END(n34_srlv_test)
